Daniel Kroening (auth.): потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (8)
Най-популярни
Списък
- Списък
- Таблица

1

Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Година:

2008

Език:

german

Файл:

PDF, 1.63 MB

0 / 0

german, 2008

2

Digitaltechnik — Eine praxisnahe Einfuhrung

Digitaltechnik — Eine praxisnahe Einfuhrung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Година:

2008

Език:

german

Файл:

PDF, 2.45 MB

0 / 0

german, 2008

3

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)

Година:

2011

Език:

english

Файл:

PDF, 3.37 MB

0 / 0

english, 2011

4

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Година:

2009

Език:

english

Файл:

PDF, 3.55 MB

0 / 5.0

english, 2009

5

Digitaltechnik — Eine praxisnahe Einführung

Digitaltechnik — Eine praxisnahe Einführung

Springer-Verlag Berlin Heidelberg

Prof. Dr. Armin Biere, Prof. Dr. Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger (auth.)

Година:

2008

Език:

german

Файл:

PDF, 1.59 MB

0 / 5.0

german, 2008

6

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Година:

2009

Език:

english

Файл:

PDF, 7.15 MB

0 / 0

english, 2009

7

Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View

Springer-Verlag Berlin Heidelberg

Daniel Kroening, Ofer Strichman (auth.)

Година:

2016

Език:

english

Файл:

PDF, 3.72 MB

0 / 0

english, 2016

8

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)

Година:

2011

Език:

english

Файл:

PDF, 3.24 MB

0 / 0

english, 2011